elf64_nacl.xs